A Family of Finite de Morgan and Kleene Algebras
نویسندگان
چکیده
The algebra of truth values for fuzzy sets of type-2 consists of all mappings from the unit interval into itself, with operations certain convolutions of these mappings with respect to pointwise max and min. This algebra generalizes the truth-value algebras of both type-1 and of interval-valued fuzzy sets, and has been studied rather extensively both from a theoretical and applied point of view. This paper addresses the situation when the unit interval is replaced by two finite chains. Most of the basic theory goes through, but there are several special circumstances of interest. These algebras are of interest on two counts, both as special cases of bases for fuzzy theories, and as mathematical entities per se.
منابع مشابه
Unification and Projectivity in De Morgan and Kleene Algebras
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملFUNCTIONAL FREENESS FOR THE BERMAN CLASS Km,n OF OCKHAM ALGEBRAS
In this paper we show that an algebra Ω(m,n) is functionally free for the Berman class Km,n of Ockham algebras, that is, for any two polynomials f and g, they are identically equal in Km,n if and only if f = g holds in Ω(m,n). This result can be applied to the well-known algebras, e.g., Boolean, de Morgan, Kleene, Stone, Bunge algebras, and so on.
متن کاملOn Finite Model Property of the Equational Theory of Kleene Algebras
The finite model property of the equational fragment of the theory of Kleene algebras is a consequence of Kozen’s [3] completeness theorem. We show that, conversely, this completeness theorem can be proved assuming the finite model property of this fragment.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
دوره 20 شماره
صفحات -
تاریخ انتشار 2012